1. Axiomatic set theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Axiomatic set theory

رده :
QA
248
.
T35

2. Axiomatic set theory

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Axiomatic set theory

رده :
QA
248
.
T35

3. Axiomatic set theory

پدیدآورنده:

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Axiomatic set theory

رده :
QA
248
.
T35

4. Axiomatic set theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Axiomatic set theory

رده :
511
.
3
Ta-A

5. Introduction to axiomatic set theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Axiomatic set theory

رده :
QA
248
.
T353
1982

6. Introduction to axiomatic set theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)

موضوع: Axiomatic set theory

رده :
511
.
322
T136i
1982

7. Introduction to axiomatic set theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Axiomatic set theory

رده :
QA
9
.
T25

8. Introduction to axiomatic set theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Axiomatic set theory

رده :
QA
248
.
T353
1982

9. Introduction to axiomatic set theory

پدیدآورنده :

موضوع : Axiomatic set theory

۴ نسخه از این کتاب در ۳ کتابخانه موجود است.

10. Introduction to axiomatic set theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Axiomatic set theory

رده :
QA
248
.
T353
1971

11. Introduction to axiomatic set theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Axiomatic set theory

رده :
QA
248
.
T353
1982

12. Introduction to axiomatic set theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Axiomatic set theory

رده :
511
.
3
Ta-I

13. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Logic, Symbolic and mathematical

رده :
QA
1
.
L4
v
.
891

14. Logic symposia, Hakone, 1979, 1980 : proceedings of Conference held in Hakone, Japan,March 21-24, 1979 and February 4-7, 1980

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic, Symbolic and mathematical

رده :
QA
3
.
L28
Vol
.
891

15. Logic sympsia, Hakone 1979, 1980: repoceedings of conference held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Logic, Symbolic and mathematical

رده :
QA
3
.
L28
no
.
891

16. Memoirs of a proof theorist : Godel and other logicians

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Proof theory,، Godel, Kurt Friedrich, 6091-8791

رده :
QA
9
.
54
.
T25G4313
2003

17. Proof theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
T34
1975

18. Proof theory /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Proof theory

رده :
QA9
.
54
.
T34
1975

19. Proof theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
T34
1975

20. Two applications of logic to mathematics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean

رده :
QA
9
.
T26
1978